<?php
function foo()
{
    ;
    ;
}
?>
